81. Algorithms : the construction, proof, and analysis of programs

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Electronic digital computers-- Programming,، Computer algorithms

رده :
QA
76
.
6
.
B471813
1986

87. An Attribute grammar for the semantic analysis of ADA

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics

رده :
QA
76
.
73
.
A35
.
A87
1982

93. An Introduction to data structures with applications

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Data structures )Computer Science(,، Electronic digital computers - Programming

رده :
QA
76
.
9
.
D35T73
1987

95. An introduction to ADA

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع: Ada (Computer program language),Electronic digital computers--Programming

رده :
QA
،
76
.
73
،.
A35
،
1983